1. A Mathematical Structure for Emergent Computation
پدیدآورنده : by Victor Korotkich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra.,Algorithms.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
2. Artificial intelligence for big data :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Big data.,Business logistics-- Data processing.,Big data.,Business logistics-- Data processing.,COMPUTERS-- Databases-- Data Warehousing.
رده :
QA76
.
9
.
B45
.
D474
2018eb
3. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
K45
4. Mathematical logic and theoretical computer science
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
2
.
M35
1987
5. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده : ]edited by[ Harrie de Swart
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011